|
In complex analysis, a removable singularity of a holomorphic function is a point at which the function is undefined, but it is possible to define the function at that point in such a way that the function is regular in a neighbourhood of that point. For instance, the (unnormalized) sinc function : has a singularity at ''z'' = 0. This singularity can be removed by defining ''f''(0) := 1, which is the limit of ''f'' as ''z'' tends to 0. The resulting function is holomorphic. In this case the problem was caused by ''f'' being given an indeterminate form. Taking a power series expansion for shows that : Formally, if is an open subset of the complex plane , a point of , and is a holomorphic function, then is called a removable singularity for if there exists a holomorphic function which coincides with on . We say is holomorphically extendable over if such a exists. == Riemann's theorem == Riemann's theorem on removable singularities states when a singularity is removable: Theorem. Let be an open subset of the complex plane, a point of and a holomorphic function defined on the set . The following are equivalent: # is holomorphically extendable over . # is continuously extendable over . # There exists a neighborhood of on which is bounded. # . The implications 1 ⇒ 2 ⇒ 3 ⇒ 4 are trivial. To prove 4 ⇒ 1, we first recall that the holomorphy of a function at is equivalent to it being analytic at (proof), i.e. having a power series representation. Define : Clearly, ''h'' is holomorphic on ''D'' \ , and there exists : by 4, hence ''h'' is holomorphic on ''D'' and has a Taylor series about ''a'': : We have ''c''0 = ''h''(''a'') = 0 and ''c''1 = ''h''(''a'') = 0; therefore : Hence, where z≠a, we have: : However, : is holomorphic on ''D'', thus an extension of ''f''. 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「removable singularity」の詳細全文を読む スポンサード リンク
|